Nuprl Definition : f2f+Owes 11,40
owes_ack  == (f2f+.2.2.2).1 
latex

clarification:

f2f+Owes(f2f+) == (f2f+.2.2.2).1 
latex

Definitionst.1, t.2
FDL editor aliasesf2f+Owes

origin